1. Axiomatic projective geometry
پدیدآورنده : Heyting, Arend,
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Geometry, Projective
رده :
QA
554
.
H48
2. Intuitionism.An introduction.
پدیدآورنده : Heyting, A.)Arend( 8981-
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
QA
9
.
H4
I5
1976
3. Intuitionism : An introduction
پدیدآورنده : Heyting, Arend, 8981-0891
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
H49I5
4. Intuitionism. An introduction
پدیدآورنده : Heyting, Arend
موضوع : ، Intuitionistic mathematics
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. Intuitionism:an introduction
پدیدآورنده : HEYTING,AREND
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : INTUITIONISTIC MATHEMATICS
رده :
QA
9
.
H46
1971